computation tree перевод

• мат. дерево вычислений

• computation:    1) исчисление; Ex: Gregorian C. григорианское летоисчисление2) вычисление; подсчет, расчет; выкладка; Ex: wealth beyond computation несметное богатство3) смета4) вычислительная техника
• tree:    1) дерево Ex: hollow tree дуплистое дерево Ex: fruit tree фруктовое дерево Ex: to climb a tree взбираться (влезать) на дерево Ex: to cut (to fell) a tree срубить (повалить) дерево Ex: (тж. T.) рожде
• t-tree:    T-дерево
• address computation:    формирование [вычисление] адреса
• analog computation:    моделирование, вычисление на аналоговых [моделирующих] устройствах; plаналоговые вычисления
• angle computation:    мат. вычисление углов (в геодезии)
• approximate computation:    мат. приближенное вычисление; приближенный расчет
• approximating computation:    приближенное вычисление
• area computation:    мат. вычисление площади
• array computation:    матричные вычисления
• atomic computation:    элементарная вычислительная процедура
• automata (computation):    Теория автоматов
• automatic computation:    мат. автоматическое вычисление
• average computation:    мат. вычисление средних
• basis of computation:    база вычислений

• The modal operators used in linear temporal logic and computation tree logic are defined as follows.
  Модальные операторы, используемые в логике линейного времени и логике деревьев вычислений, определяются следующим образом.
• Some of these logics, such as linear temporal logic and computation tree logic, allow assertions to be made about the sequences of states that a concurrent system can pass through.
  Некоторые из них, как, например, линейная темпоральная логика или логика вычислительного дерева, позволяют делать утверждения о последовательности состояний, через которые параллельная система может пройти.